Early errors detection in parallel program

Andrey Karpov, Evgeniy Ryzhkov

Multicore microprocessors entry to the market of personal computers opens a new period in software development. In the near future, developers of applications are to master and use in their projects the technology of parallel programming. The main difficulty in parallel software creation is detection of floating errors. The first defense line from such errors is considered in the article, which is based on source code static analysis. The use of static analysis tools allows to detect a large number of errors at the earliest stages of software creation, and this reduces significantly the costs at the stage of testing and maintenance.

Andrey Karpov

Bio

Andrey Karpov, Ph.D., Program Verification Systems CTO. Andrey possesses practical experience in development of resource-intensive parallel applications in the sphere of computational modeling of gas-dynamic processes and visualization of large data sizes. At present, he is involved in creation of specialized static code analyzer PVS-Studio, which is intended for creation of effective resource-intensive applications. Andrey is the author of a big number of articles considering the issue of writing safety 64-bit code and parallel code in C++.

Evgeniy Ryzhkov

Evgeniy Ryzhkov, Program Verification Systems CEO. Evgeniy has vast experience in development of 64-bit solutions; he has taken pains in detection and description in articles of errors patterns connected with resource-intensive programs development. Evgeniy is at the head of development and promotion of PVS-Studio, a tool for developers, and is in charge of business issues.